Nuprl Definition : implies
9,38
postcript
pdf
P
Q
==
P
Q
latex
Definitions
P
Q
origin
Q == P
Q Q == PQ Q